Runtime Verification Logics A Language Design Perspective Klaus Havelund1? and Giles Reger2?? 1 Jet Propulsion Laboratory, California Inst. of Technology, USA

Source URL: www.cs.man.ac.uk

• Theoretical computer science
• Mathematics
• Formal methods
• Logic in computer science
• Models of computation
• Temporal logic
• Runtime verification
• Formal verification
• Model checking
• Linear temporal logic
• Finite-state machine
• FO

CenterServ 99 South Almaden Blvd. Suite 600, San Jose, California 95113, USA www.centerserv.com

Source URL: www.centerserv.com

• Cloud infrastructure
• Cloud computing
• IT infrastructure
• Computing
• HP Cloud
• IBM cloud computing

A Unified Framework for Human-Robot Knowledge Transfer Nishant Shukla, Caiming Xiong and Song-Chun Zhu Center for Vision, Cognition, Learning and Autonomy University of California, Los Angeles, USA Abstract

Source URL: shukla.io

• Metaphysics
• Cybernetics
• Logic
• Computational neuroscience
• Human behavior
• Robotics
• Human communication
• Humanrobot interaction
• Multimodal interaction
• Image segmentation
• Artificial intelligence
• Knowledge

Learning-Based Abstractions for Nonlinear Constraint Solving Sumanth Dathathri ∗1 , Nikos Arechiga2 , Sicun Gao3 , and Richard M. Murray1 1 Computing and Mathematical Sciences, California Institute of Technology 2

Source URL: scungao.github.io

• Constraint programming
• Mathematical optimization
• Theoretical computer science
• Statistical classification
• Artificial intelligence
• Machine learning
• Support vector machine
• Constraint satisfaction problem
• Constraint satisfaction
• Decomposition method
• Constrained optimization
• Constraint

A Fistful of Bitcoins: Characterizing Payments Among Men with No Names Sarah Meiklejohn Marjori Pomarole Grant Jordan † Kirill Levchenko Damon McCoy Geoffrey M. Voelker Stefan Savage University of California, San Diego

Source URL: smeiklej.com

• Cryptocurrencies
• Bitcoin
• Economy
• Money
• Financial technology
• Alternative currencies
• Digital currencies
• Blockchains
• Mt. Gox
• Satoshi Nakamoto
• Blockchain.info
• BitPay

ZKPDL: A Language-Based System for Efficient Zero-Knowledge Proofs and Electronic Cash Sarah Meiklejohn University of California, San Diego smeiklej@ cs.ucsd.edu

Source URL: www.usenix.org

• Cryptography
• Public-key cryptography
• Computational complexity theory
• Zero-knowledge proof
• Proof of knowledge
• Commitment scheme
• Non-interactive zero-knowledge proof
• IP
• Cryptographic protocol
• NP
• RSA
• Zero knowledge

Augur: Internet-Wide Detection of Connectivity Disruptions Paul Pearce†∗ , Roya Ensafi§∗ , Frank Li† , Nick Feamster§ , Vern Paxson† † University of California, Berkeley § Princeton University

Source URL: www.ieee-security.org

• Computer network security
• Cyberwarfare
• Computer security
• Computing
• Computer security software
• Idle scan
• Denial-of-service attack
• Transmission Control Protocol
• Stateful firewall
• Internet censorship
• Great Firewall
• Internet protocol suite

A Practical Testing Framework for Isolating Hardware Timing Channels Jason Oberg∗ , Sarah Meiklejohn∗ , Timothy Sherwood† and Ryan Kastner∗ ∗ Computer Science and Engineering, University of California, San Die

Source URL: smeiklej.com

• Information flow
• Information theory
• CPU cache
• Flow
• Timing attack
• Mathematical model
• Mathematics
• Computing
• Knowledge

PDF Document

Source URL: california.ligmincha.org